TestOptions {forCompilers = [(MAlonzo, CompilerOptions {extraAgdaArgs = ["--no-main", "--ghc-flag=-i./test/Compiler/simple/"]})], runtimeOptions = [], executeProg = False}
